定理证明表示theorem: n. 1.(能证明的)一般原理,公理,定律,法则。 2. ...prove: vt. ( -d; -d, 〔古、美〕 proven ) ...representation: n. 1.表示,表现,描画,描写;画像,肖像;雕像,想像 ...theorem proving: 定理证明representation theorem: 表现定理; 表象定理下载手机词典可随时随地查词查翻译